Reasoning About Skeletons in Eden

Functional Skeletons Generate Process Topologies in Eden

We present a collection of skeletons that are appropriate to instantiate process systems in the functional-concurrent language Eden BLOM96]. Eden is a functional language providing facilities for the explicit deenition and instantiation of processes. Skeletons in this language are just higher order functions having process deenitions as parameters. We introduce skeletons for both transformation...

MFPS 2007 Skeletons , Homomorphisms , and Shapes : Characterizing Protocol Executions 1

In this paper we develop a framework, based on strand spaces, for reasoning about cryptographic protocols and characterizing their executions. We define skeletons, homomorphisms, and shapes. Skeletons model partial information about regular (honest) behavior in an execution of a cryptographic protocol. A homomorphism between skeletons is an information-preserving map. Much protocol analysis may...

Explicit and implicit parallel functional programming: concepts and implementation

This thesis investigates the relation between the two conflicting goals of explicitness and abstraction, for the implementation of parallel functional languages and skeletons. Necessary and useful coordination features for implementing parallel coordination in a functional implementation language will be identified, leading to the proposal of a Haskell extension for explicit low-level coordinat...

Implementation Skeletons in Eden : Low - E ort Parallel Programming ?

Eden - Parallel Functional Programming with Haskell

Eden is a parallel functional programming language which extends Haskell with constructs for the definition and instantiation of parallel processes. Processes evaluate function applications remotely in parallel. The programmer has control over process granularity, data distribution, communication topology, and evaluation site, but need not manage synchronisation and data exchange between proces...